module

public import Mathlib.Algebra.QuadraticAlgebra.Defs

deprecated_module (since := "2025-11-10")
